2018

国際会議(査読付)

[1] Takashi Kitamura, Quentin Maissonneuve, Eun-Hye Choi, Cyrille Valentin Artho, and Angelo Gargantini, "Optimal Test Suite Generation for Modified Condition Decision Coverage using SAT solving", Proc. of The 37th International Conference on Computer Safety, Reliability and Security (SAFECOMP), pp. 123-138, 2018.